es{-}haslnk(${\it es}$; $l$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}isrcv(${\it es}$; $e$) $\wedge_{2}$ es{-}lnk(${\it es}$; $e$) = $l$